2

Detection of periodicities and string-matching in real time

Year:
1983
Language:
english
File:
PDF, 4.73 MB
english, 1983
10

Finite approach to the problem of optimizing theorem-proving algorithms

Year:
1978
Language:
english
File:
PDF, 554 KB
english, 1978
11

A property of enumerable sets containing “complexly deducible” formulas

Year:
1973
Language:
english
File:
PDF, 303 KB
english, 1973
12

A simplified proof of the real-time recognizability of palindromes on turing machines

Year:
1981
Language:
english
File:
PDF, 732 KB
english, 1981
13

Search for shortest path around semialgebraic obstacles in the plane

Year:
1994
Language:
english
File:
PDF, 483 KB
english, 1994
26

Complexity problems in computational theory

Year:
1981
Language:
english
File:
PDF, 5.95 MB
english, 1981